101. Design and implementation of symbolic computation systems: International Symposium DISCO' 90, Capri, Italy, April 10-12, 1990: Proceedings
پدیدآورنده: A. Miola, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
رده :
QA
76
.
L28
Vol
.
429
102. Design and implementation of symbolic computation systems : International Symposium DISCO 90, Capri, Italy, April 10-12, 1990 : proceedings
پدیدآورنده: A. Miola, )Ed.(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: System design - Congresses , Mathematics - Data processing - Congresses , Numerical analysis - Data processing - Congresses
رده :
QA
76
.
9
.
S88
I576
1990
103. Design and implementation of symbolic computation systems: International Symposium DISCO '90, Capri, Italy, April 10-12, 1990: proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، System design,Data processing Congresses ، Mathematics,Data processing Congresses ، Numerical analysis
رده :
QA
76
.
9
.
S88
.
I576
1990
104. Design and implementation of symbolic computation systems :International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993 : proceedings. [CD]
پدیدآورنده: / Alfonso Miola, ed
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: System design -- Congresses,Mathematics -- Data processing Congresses,Numerical analysis -- Data processing Congresses
رده :
QA76
.
9
.
S88I576
1993
105. Design and implementation of symbolic computation systems : International symposium DISCO'92 , Bath, U.K., April 13-15, 1992 : proceedings
پدیدآورنده: John Fitch )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
رده :
QA
76
.
L28
Vol
.
721
106. Design and implementation of symbolic computation systems : International symposium DISCO'96, Karlsruhe, Germany, September 18-20, 1996 : Proceedings
پدیدآورنده: Jacque Calmet, Carla Limongelli )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
رده :
QA
76
.
L28
Vol
.
1128
107. Design and implementation of symbolic computation systems : International symposium DISCO'93 : proceedings
پدیدآورنده: Alfonso Miola )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
رده :
QA
76
.
L28
Vol
.
722
108. Developments in Reliable Computing
پدیدآورنده: edited by Tibor Csendes.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Computer science.,Electronic data processing.
109. Differentiable Optimization and Equation Solving
پدیدآورنده: by John Lawrence Nazareth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms.,Algorithms.,Computer science-- Mathematics.,Management science.,Mathematical models.,Mathematical optimization.,Mathematics.,Mathematics.,Operations research.,Computational Mathematics and Numerical Analysis.,Mathematical Modeling and Industrial Mathematics.,Operations Research, Management Science.,Optimization.
110. Digital noise monitoring of defect origin /
پدیدآورنده: Telman Aliev.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Defect correction methods (Numerical analysis),Electronic noise-- Mathematical models.,Information storage and retrieval systems-- Materials-- Defects.,Signal detection.,Defect correction methods (Numerical analysis),Defect correction methods (Numerical analysis),Electronic noise-- Mathematical models.,Electronic noise-- Mathematical models.,Information storage and retrieval systems-- Materials-- Defects.,Ingénierie.,Signal detection.,Signal detection.
رده :
TK7867
.
5
.
A45
2007eb
111. Dimensionality Reducing Expansion of Multivariate Integration
پدیدآورنده: by Tian-Xiao He.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Differential equations, Partial.,Economics-- Statistics.,Mathematics.
112. Dynamical systems with applications using Python /
پدیدآورنده: Stephen Lynch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Dynamics-- Mathematical models.,Python (Computer program language),Applications of Mathematics.,Complex Systems.,Dynamical Systems and Ergodic Theory.,Mathematical and Computational Engineering.,Ordinary Differential Equations.,Statistical Physics and Dynamical Systems.,Applied mathematics.,Differential calculus & equations.,Dynamics-- Mathematical models.,Mathematics-- Applied.,Mathematics-- Differential Equations.,Mathematics-- Mathematical Analysis.,Maths for engineers.,Nonlinear science.,Python (Computer program language),Science-- Mathematical Physics.,Science-- Physics.,Statistical physics.
رده :
QA845
113. Dynamics: Numerical Explorations
پدیدآورنده: by Helena E. Nusse, James A. Yorke, Eric J. Kostelich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Global analysis (Mathematics).,Mathematical physics.,Mathematics.
114. Electromagnetic scattering using the iterative multiregion techniqu
پدیدآورنده: / Mohamed H. Al Sharkawy, Veysel Demir, Atef Z. Elsherbeni
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Electromagnetic waves--Scattering--Mathematics,Finite differences.,Iterative methods (Mathematics),Multigrid methods (Numerical analysis)
رده :
QC
,
665
,.
S3
,
S53
,
2007
115. Enabling Technologies for Computational Science
پدیدآورنده: edited by Elias N. Houstis, John R. Rice, Efstratios Gallopoulos, Randall Bramley.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Electronic data processing.,Information theory.
116. Essentials of scientific computing :
پدیدآورنده: Victor Zalizniak
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics,Numerical analysis-- Data processing,Mathematical Computing
رده :
QA76
.
9
.
M35
Z35
2008
117. Estimation Techniques for Distributed Parameter Systems
پدیدآورنده: by H. T. Banks, K. Kunisch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Science (General).
118. Expert systems for scientific computing
پدیدآورنده: / edited by E.N. Houstis, J.R. Rice, R. Vichnevetsky
کتابخانه: کتابخانه مرکزی و مرکز نشر دانشگاه صنعتی بیرجند (خراسان جنوبی)
موضوع: Mathematics--Data processing--Congresses,Numerical analysis--Data processing--Congresses,Expert systems (Computer science)--Congresses,Software--Congresses
رده :
QA76
.
95
.
I48
1990
119. Expert systems for scientific computing
پدیدآورنده: / edited by E.N. Houstis, J.R. Rice, R. Vichnevetsky
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Mathematics, Data processing, Congresses,Numerical analysis, Data processing, Congresses,Expert systems (Computer science), Congresses,Software, Congresses
رده :
QA76
.
95
.
I48
1992
120. Expert systems for scientific computing: proceedings of the Second IMACS International Conference on Expert Systems for Numerical Computing, Purdue University, U.S.A., 24-26 April, 1990
پدیدآورنده: edited by E.N. Houstis, J.R. Rice, R. Vichnevetsky
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Data processing - Congresses ، Mathematics - Data processing,Data processing - Congresses ، Numerical analysis,Congresses ، Expert systems )Computer science(,Congresses ، Software
رده :
QA
76
.
95
.
I48
1990
